<?php 
	/**
	 * Fonction permettant d'écrire un date de la forme JJ/MM/AAAA en AAAA-MM-JJ.
	 * @param string $date
	 * @return string
	 */
	function putDateAAAAMMJJ($date)
	{
		if($date != null)
		{
			$d = preg_split("-/-", $date);
			return $d[2]."-".$d[1]."-".$d[0];
		}
		else
			return "";
	}
?>